projection homomorphism